I'm not sure why you've decided to change what is in the paper via fix-up here. We have tons of wording precedent for

x < y is true

... as dumb as it sounds, but to my knowledge, we don't have any kind of formal decision that would eliminate this. LWG approved this wording, so we may as well keep it.

I changed it because that's more consistent with what's in [simd] (i.e., what we did for P1928). I wanted to call that out as a questionable commit / a suggestion and forgot about it.
Better to drop it then?

I cannot answer with authority, but we have procedures in https://github.com/cplusplus/draft/wiki/Applying-papers-to-the-Working-Draft for this. To my understanding, we only use commits in the same PR for typo repairs and other things that are broken in the paper wording.

If there are stylistic/consistency improvements, those tend to go onto into a separate PR.

I've removed the commit from my Motions 10–13 PR and will submit a separate PR.